Constraint programming on a heterogeneous multicore architecture

As bibliotecas para programação com restrições são úteis ao desenvolverem-se aplicações em linguagens de programação normalmente mais utilizadas pois não necessitam que os programadores aprendam uma. Nova, linguagem, fornecendo ferramentas de programação declarativa para utilização com os sistemas convencionais. Algumas soluções para programação com restrições favorecem completude, tais como sistemas baseados em propagação. Outras estão mais interessadas em obter uma boa solução rapidamente, rejeitando a necessidade de encontram todas as soluções; esta sendo a alternativa utilizada nos sistemas de pesquisa local. Conceber soluções híbridas (propagação + pesquisa local) parece prometedor pois as vantagens de ambas alternativas podem ser combinadas numa única solução. As arquiteturas paralelas são cada vez mais comuns, em parte devido à disponibilidade em grande escala, de sistemas individuais mas também devido à tendência em generalizar o uso de processadores multicore ou seja., processadores com várias unidades de processamento. Nesta tese é proposta uma. Arquitetura para resolvedores de restrições mistos, de pendendo de métodos de propagação e pesquisa local, a qual foi concebida para funcionar eficazmente numa arquitetura. Heterogéneo multiprocessador. /ABSTRACT - Constraint programming libraries are useful when building applications developed mostly in mainstrearn programming languages: they do not require the developers to acquire skills for a new language, providing instead declarative programming tools for use within conventional systems. Some approaches to constraint programming favour completeness, such as propagation-based systems. Others are more interested in getting to a good solution fast, regardless of whether all solutions may be found; this approach is used in local search systems. Designing hybrid approaches (propagation + local search) seems promising since the advantages may be combined into a single approach. Parallel architectures are becoming more commonplace, partly due to the large-scale availability of individual systems but also because of the trend towards generalizing the use of multicore microprocessors. In this thesis an architecture for mixed constraint solvers is proposed, relying both on propagation and local search, which is designed to function effectively in a heterogeneous multicore architecture

Massivel y parallel declarative computational models

Current computer archictectures are parallel, with an increasing number of processors. Parallel programming is an error-prone task and declarative models such as those based on constraints relieve the programmer from some of its difficult aspects, because they abstract control away. In this work we study and develop techniques for declarative computational models based on constraints using GPI, aiming at large scale parallel execution. The main contributions of this work are: A GPI implementation of a scalable dynamic load balancing scheme based on work stealing, suitable for tree shaped computations and effective for systems with thousands of threads. A parallel constraint solver, MaCS, implemented to take advantage of the GPI programming model. Experimental evaluation shows very good scalability results on systems with hundreds of cores. A GPI parallel version of the Adaptive Search algorithm, including different variants. The study on different problems advances the understanding of scalability issues known to exist with large numbers of cores; ### SUMÁRIO: Actualmente as arquitecturas de computadores são paralelas, com um crescente número de processadores. A programação paralela é uma tarefa propensa a erros e modelos declarativos baseados em restrições aliviam o programador de aspectos difíceis dado que abstraem o controlo. Neste trabalho estudamos e desenvolvemos técnicas para modelos de computação declarativos baseados em restrições usando o GPI, uma ferramenta e modelo de programação recente. O Objectivo é a execução paralela em larga escala. As contribuições deste trabalho são as seguintes: a implementação de um esquema dinâmico para balanceamento da computação baseado no GPI. O esquema é adequado para computações em árvores e efectiva em sistemas compostos por milhares de unidades de computação. Uma abordagem à resolução paralela de restrições denominadas de MaCS, que tira partido do modelo de programação do GPI. A Avaliação experimental revelou boa escalabilidade num sistema com centenas de processadores. Uma versão paralela do algoritmo Adaptive Search baseada no GPI, que inclui diferentes variantes. O estudo de diversos problemas aumenta a compreensão de aspectos relacionados com a escalabilidade e presentes na execução deste tipo de algoritmos num grande número de processadores

Temas de investigação em direitos humanos para o século XXI

Edição comemorativa do 10.º aniversário do Mestrado em Direitos Humanos da Universidade do Minho.Este livro é uma celebração do ensino e da investigação em direitos humanos que têm vindo a ser desenvolvidos, na Escola de Direito da Universidade do Minho, há já mais de uma década. A sua publicação num momento em que se avolumam os riscos para valores fundamentais subjacentes à proteção dos direitos humanos – como a igualdade e a não discriminação, a proibição da escravatura e de tratamentos cruéis, desumanos e degradantes, a liberdade de religião ou crença, entre muitos outros –, torna-o especialmente oportuno. Os sinais de aparente retrocesso no consenso das nossas sociedades a respeito desses valores – visíveis no triunfo político de discursos abertamente racistas, xenófobos, sexistas, etc. – recordam-nos que, também no mundo ocidental, os direitos humanos são um work in progress, não um dado adquirido. Os novos riscos para a dignidade da pessoa humana associados aos avanços tecnológicos andam de par com velhas formas de subalternização e de opressão. O campo para a reflexão crítica é muito vasto. Os temas que hoje (pre)ocupam académicos, decisores políticos e ativistas de direitos humanos são também aqueles que estruturam o plano de estudos do Mestrado em Direitos Humanos da Universidade do Minho. Todos estes temas surgem ao longo do presente livro, que reúne contributos de muitos dos membros da comunidade científica e académica que o Mestrado em Direitos Humanos mobilizou e ajudou a dinamizar ao longo da última década, entre docentes do Mestrado, colaboradores em júris de provas públicas e/ou na orientação de mestrandos, oradores convidados e estudantes. Os textos aqui reunidos refletem bem as sinergias interdisciplinares, interinstitucionais e inter-nacionais que o Mestrado em Direitos Humanos foi capaz de criar, não apenas pela variedade de campos disciplinares representados – Direito, Filosofia, Relações Internacionais, Antropologia –, mas também pela participação de autores que são docentes e/ou investigadores em diversas instituições nacionais e estrangeiras, como a Faculdade de Direito da Universidade do Porto, a Faculdade de Economia da Universidade de Coimbra, a Universidade Federal da Paraíba e a Pontifícia Universidade Católica de São Paulo.info:eu-repo/semantics/publishedVersio

COVID-19 symptoms at hospital admission vary with age and sex: results from the ISARIC prospective multinational observational study

Background: The ISARIC prospective multinational observational study is the largest cohort of hospitalized patients with COVID-19. We present relationships of age, sex, and nationality to presenting symptoms. Methods: International, prospective observational study of 60 109 hospitalized symptomatic patients with laboratory-confirmed COVID-19 recruited from 43 countries between 30 January and 3 August 2020. Logistic regression was performed to evaluate relationships of age and sex to published COVID-19 case definitions and the most commonly reported symptoms. Results: ‘Typical’ symptoms of fever (69%), cough (68%) and shortness of breath (66%) were the most commonly reported. 92% of patients experienced at least one of these. Prevalence of typical symptoms was greatest in 30- to 60-year-olds (respectively 80, 79, 69%; at least one 95%). They were reported less frequently in children (≤ 18 years: 69, 48, 23; 85%), older adults (≥ 70 years: 61, 62, 65; 90%), and women (66, 66, 64; 90%; vs. men 71, 70, 67; 93%, each P < 0.001). The most common atypical presentations under 60 years of age were nausea and vomiting and abdominal pain, and over 60 years was confusion. Regression models showed significant differences in symptoms with sex, age and country. Interpretation: This international collaboration has allowed us to report reliable symptom data from the largest cohort of patients admitted to hospital with COVID-19. Adults over 60 and children admitted to hospital with COVID-19 are less likely to present with typical symptoms. Nausea and vomiting are common atypical presentations under 30 years. Confusion is a frequent atypical presentation of COVID-19 in adults over 60 years. Women are less likely to experience typical symptoms than men

6) Produção de matéria seca e acúmulo de macronutrientes em plântulas de Eucalyptus urophylla S.T. blake, em latossolo da Amazônia sob diferentes sistemas de manejo.

Ministério da Educação e do Desporto, Faculdade de Ciências Agrárias do Pará e Serviço de Documentação e Informação.1) Apresenta uma proposta de agrupamento das espécies arbóreas de uma floresta equatorial de terra-firme próximo de Manaus-AM. na Estação Experimental de Silvicultura Tropical do INPA, para facilitar as decisões silviculturais. Adotou-se como critério para o agrupamento a combinação da forma e amplitude da distribuição diamétrica com a densidade de regeneração natural das espécies, obtidas em levantamento na floresta não perturbada, o que resultou em três grupos chamados ecofisiológicos: espécies tolerantes; espécies intermediárias e espécies heliófilas. Predominaram espécies tolerantes e intermediárias com mais de 90% das espécies arbóreas, o que indica que a floresta não perturbada se encontra numa fase madura.2) Apresenta uma proposta de agrupamento das espécies arbóreas de uma floresta equatorial de terra-firme próximo de Manaus-AM. na Estação Experimental de Silvicultura Tropical do INPA, para facilitar as decisões silviculturais. Adotou-se como critério para o agrupamento a combinação da forma e amplitude da distribuição diamétrica com a densidade de regeneração natural das espécies, obtidas em levantamento na floresta não perturbada, o que resultou em três grupos chamados ecofisiológicos: espécies tolerantes; espécies intermediárias e espécies heliófilas. Predominaram espécies tolerantes e intermediárias com mais de 90% das espécies arbóreas, o que indica que a floresta não perturbada se encontra numa fase madura.3) Objetivando avaliar o desempenho de três leguminosas tropicais herbáceas, mucuna preta (Stizolobium atterrimum), mucuna cinza (Stizolobium cochinchinensis) e feijão-de-porco (Canavalia ensiformes) submetidas a diferentes doses de superfosfato triplo (0, 25 e 45 ppm de P) e de calcário dolomítico (0, 4 e 8 t/ha), foi montado este experimento em casa de vegetação. Utilizou-se o delineamento experimental em blocos ao acaso, sendo os tratamentos arranjados em um esquema fatorial 3x3x3, em duas repetições. Para analisar o comprimento dos ramos, introduziu-se o tempo de desenvolvimento das plantas (15, 30, 45 e 60 dias), como tratamento, passando o fatorial para 3x3x3x4. Os outros parâmetros analisados foram: área foliar e matéria seca da parte aérea, sendo as médias comparadas pelo teste de Tukey a 5% de probabilidade. A mucuna cinza apresentou um crescimento superior às demais leguminosas estudadas, nos primeiros 30 dias. A partir dos 45 dias do experimento, a calagem aumentou significativamente o comprimento dos ramos das plantas. A mucuna cinza apresentou uma área foliar superior estatisticamente à mucuna preta que, por sua vez, superou o feijão-de-porco. Ocorreu um incremento significativo de área foliar nas leguminosas em função do aumento das doses de superfosfato triplo e de calcário, isoladamente. O feijão-de-porco e a mucuna cinza apresentaram produções de matéria seca da parte aérea significativamente superiores à da mucuna preta. A interação fósforo x calcário contribuiu para o aumento do peso da matéria seca da parte aérea.4) O experimento foi conduzido no laboratório de solos da Faculdade de Ciências Agrárias do Pará (FCAP) com o objetivo de determinar a fixação de fósforo, em função do teor de argila, de um Plintossolo de ilha do Marajó, no Estado do Pará. As amostras do solo foram coletadas em duas fazendas localizadas na ilha, sendo retiradas da camada superficial do solo à profundidade de 0-15cm. O solo foi equilibrado com soluções 0,01M de CaCl2, contendo concentrações de P variando de 0 a 25 mg-1, com três repetições por tratamento. A capacidade máxima de fixação de P e a constante de afinidade foram calculadas ajustando-se os dados obtidos ao modelo linear da equação de Langmuir. Os resultados demonstraram que a fixação de P é dependente da concentração do elemento na solução de equilíbrio e do teor de argila do solo. A maior fixação de P (838 mg.kg-1 de solo) foi observada no solo contendo 10% de argila e a menor (88 mg.kg-1 de solo) na amostra com 4% de argila. Os valores da constante de afinidade foram de 0,0013 l.mg-1 e 0,215 l.mg-1, para os solos com 10 e 4 % de argila, respectivamente, sugerindo a existência de diferenças na composição mineralógica da fração coloidal das amostras usadas do Plintossolo.5) Este trabalho foi conduzido na Estação Experimental "José Haroldo", da CEPLAC, Benevides-PA, com o objetivo de estudar as modificações nas características químicas de um Latossolo Amarelo álico, textura média, sob sistemas de manejo de floresta secundária (FS) de aproximadamente 40 anos de idade, de derruba e queima (DQ) da mesma floresta secundária, de cultura de cacau (CC) e de pastagem abandonada (PA). Foram abertas trincheiras de 2 m de profundidade, em cada área estudada, onde coletou-se amostras de solo para caracterização química dos horizontes Ap, AB, BA e B21. As amostras de solo foram analisadas para pH, bases trocáveis, Al-troc, P-disp , C-org e N-total. Os resultados mostraram que em todos os sistemas de manejo a matéria orgânica e o nitrogênio total diminuíram com o aumento da profundidade do solo, tendo os maiores valores ocorridos em horizonte Ap. O sistema de manejo de solo em área de derruba e queima proporcionou os maiores valores para soma de bases (25,1 mmolc/kg de solo), pH (5,7) e o menor teor de Al3+ (0,9 mmolc/kg de solo) em horizonte Ap; que à exceção do Al, todas as outras variáveis diminuíram seus valores com o aumento da profundidade, independentemente do sistema de manejo utilizado. O maior teor de P d (15,5 mg/kg de solo) foi encontrado em horizonte Ap em área com cultura de cacau. Os maiores conteúdos de matéria orgânica e nitrogênio total, foram encontrados, respectivamente, no horizonte Ap, em área de pastagem abandonada (33,7 g/kg de solo) e em área de floresta secundária (1,2 g/kg de solo).6) Com o objetivo de avaliar o crescimento e a acumulação de macronutrientes em plântulas de Eucalyptus urophylla, aos seis meses de idade, montou-se um experimento, em casa de vegetação, em delineamento inteiramente casualizado, com oito tratamentos e seis repetições, constantes de substratos de horizontes (Ap e AB) de Latossolo da Amazônia, sob sistemas de manejo de floresta secundária (FS), de derruba e queima (DQ), de cultura de cacau (CC) e de pastagem abandonada (PA). Os melhores resultados de produção de matéria seca da parte aérea de plântulas de Eucalyptus foram obtidos no sistema de manejo de derruba e queima, em horizonte Ap, com valores de 14,24 g/vaso para as folhas e 15,04 g/vaso para o caule. Os menores valores foram obtidos em horizontes AB no sistema de manejo de floresta secundária, com valores de 1,71 g/vaso e 1,42 g/vaso para as folhas e caule, respectivamente. As maiores produções de matéria seca de folhas e caule foram proporcionados em horizonte Ap, e os menores em AB, independente do sistema de manejo praticado. Os maiores conteúdos dos nutrientes N, P, K, Ca e Mg nas folhas das plântulas, não corresponderam a uma maior produção de matéria seca. Os nutrientes foram requeridos pelas plântulas na seguinte ordem decrescente: N (17,3g/kg de matéria seca) > K (8,1 g/kg de matéria seca) > Ca (6,3 g/kg de matéria seca) > Mg (1,4 g/kg de matéria seca) > P (0,8 g/kg de matéria seca).1) This paper presents a grouping proposal for terra-firme equatorial tree species, near Manaus(Brazil), to facilitate the silvicultural decisions. The criterion for tree grouping was a combination ofdiameter distribution shape and amplitude with natural regeneration amount, obtained in survey on undisturbed forest. It resulted in three ecofisiological groups: shade tolerants species; intermediary species; and shade intolerant species. Shade tolerant and intermediary species were predominant (more than 90% of tree species DBH=25cm), indicating that the forest is in mature phase.2) This paper presents a grouping proposal for terra-firme equatorial tree species, near Manaus(Brazil), to facilitate the silvicultural decisions. The criterion for tree grouping was a combination of diameter distribution shape and amplitude with natural regeneration amount, obtained in survey on undisturbed forest. It resulted in three ecofisiological groups: shade tolerants species; intermediary species; and shade intolerant species. Shade tolerant and intermediary species were predominant (more than 90% of tree species DBH=25cm), indicating that the forest is in mature phase.3) The objective of this study was to evaluate the response of three tropical herbaceous leguminous, Mucuna preta (Stizolobium aterrimum), Mucuna cinza (Stizolobium cochinchinensis) Feijão de porco (Canavalia ensiformes) submitted to different leveis of triple superphosphate (0, 25 and 45 ppm P) and dolomitic limestone (0,4 and 8 t/ha) in greenhouse conditions. The experimental design was a rondomized block where the treatments were applied in a 3x3x3 factorial with two replicates. Age of plants was introduced as a treatment in order to determine the rate of lenght of growth ofbranches and the experimental design was transformed to a 3x3x3x4 factorial. The parameters analysed were leaf area and dry matter. The mucuna cinza showed in the first 30 days a higher superior growth in relation to anothers species studied. After 45 days of the start of the experiment liming increased plant growth. The leveis of liming and phosphorus caused a statistical significam increment (P>0,05) of leaf area. The interaction phosphorus x liming increased (P<0,05) the dry matter production of the aerial parts of the plants.4) P adsorption by the surface horizon (0-15cm depth) of plinthic soíls wilh different ciay leveis from the Marajó island, Pará, Brazil, was determined using a batch-type technique. Soil samples were equilibrated with 0,01M CaCl2, solutions having from 0 to 25 mg.l-1 P in a randomized experiment with three replicates/treatment. Adsorption maxima and affinity constants for P adsorption were calculated from the linear form of the Langmuir adsorption equation, Results showed that P adsorption increased with concentration of P in the equilibrium solution and with the clay levei of the soil sample. Highest value for P adsorption (838 mg. kg-1 of soil) was oblained in the plinthic soil with 10% clay whereas the highest affinity constant (0.215 l.mg-1) for the plinthic soil with 4% clay, suggesting that there were differences in the mineralogical composition of the soil samples used.5) Trenchs to the depth of 2 meters were open to determine changes in chemical properties of an yellow latosol, medium textured, under secondary forest (FS) 40 years-old, slash an bum of secondary forest (DQ), cocoa plantation (CC) and degraded pasture (PA). pH, sum of bases, exchangeable Al, available P. organic C and total N were determined in soil samples collected in Ap, AB, BA and B horizons at each management system. Results showed that the chemical properties, weth the exception of Al, decreased with depth of samplmg. The slash and burn of secondary forest had the highest values of bases (25.1 mmol /kg soil), pH (5.7) and the lowest level of Al (0.9 mmol /kg soil) in the Ap horizon. Highest values of available P (15.5 mg/kg soil) was found in the Ap horizon of the cocoa plantation. Highest leveis of organic matter (33.7 g/kg soil) and total N (1.2 g/kg soil) were found in the Ap horizon of degraded pasture and secondary forest, respectivelly.6) The objective of this experiment was to evaluate the growth and accumulation of macronutrients tn seedlings of Eucalyptus urophylla with a 6 months of age. The experiment was done at greenhouse conditions with a completely randomyzed design having 8 treatments and 6 replications. The substracts used were horizons (Ap and AB) of an amazon Latosol, which was previously submited to the following soil managements; secondary forest (FS), slash and buming (DQ), cacao crop (CC) and abondoned glassland (PA). The best results of dry matter production of aereal part of Eucalyptus were found in the Ap horizon of the PA system with values of 14.24 g/pot for the leaves and 15.04 g/pot for the stem. The horizon AB of the FS system with 1.71 and 1.42 g/ pot for the leaves and stem respectivelly. The greatest production of dry matter of leaves and stem were proporcioned in the horizon Ap and the least values of dry matter in the horizon AB independently of the soil management used. The greatest concentrations of nutrients N, P, K, Ca and Mg in the leaves of the Eucalyptus seedling did not correspond to the greatest dry matter production. The nutrients requested to the seedlings were taken in the following decreased order: N (17.3 g/kg dry matter) > K (8.1 g/kg dry matter) > Ca (6.3 g/kg dry matter) > Mg (1.4 g/kg dry matter) > P (0.8 g/kg dry matter)

Parecer 2

info:eu-repo/semantics/publishedVersio

MOESM2 of Immune response and innervation signatures in aseptic hip implant loosening

Additional file 2: Figure S2. Histological grading applied in semi-quantification regarding the accumulation of prosthetic debris in synovial membrane-like interface tissues